architecture a of receiver is
procedure addition(a,b:inout integer;
c:out integer) is
begin
c:=a+b;
end addition;
begin
Dispatcher:
process
begin
wait on in_channel'transaction;
in_channel.dispatch(in_channel,
out_channel);
end process;
end a;
The package channel_pkg implements the communication channel. Its name is channel. Further the channel implementation provides a method dispatch which transforms an incoming message into a local method call within the receiver entity and initiates the reply if the method execution produces results.
The process Dispatcher of architecture a is sensitive to the communication channel. If a new message arrives, the process initiates the execution of the message.